perm filename PNSL10.360[360,GF] blob sn#869813 filedate 1989-02-07 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'βH↔ε"p_
g#⊂→M'∧ 0EC⊃PBa¬λεSb∧pλS@`(βS@@@β∪@ XαV`UXαV`UXαV@e8∧U!%_α@@Uλα↓ Txα↓`Thαα T`↓B@dX↓B`TPαα`TPαα tPαA@0λαRAP⊂αRA@_β∩a⊂(βSd("_C⊃p∩I@8(↓*((↓*((↓	p('A)p('A)p '↓ P0'↓ 0P'↓ ⊂h'¬	`@αAi`(∧AIP(¬↓iP(¬AIP(¬AIP(¬AIP(¬AIP(¬AI@(ε↓I@(ε↓I@(ε↓)@(¬AI@(¬AI00¬A)00¬↓I0(¬AI0(¬↓I0(∧Ai0(∧↓i @αα	 _↓C) ⊂αBj08"Q1 FC⊂Pβ∀A%εS`` αS@P8α∪ P@α∪ @P↓ST`α∩`TXαR`TPαR@TPαR@TPαR@TPαR@TPβ∩`PHR``0α∩at`εS!4xβ⊃(F 
H∧R 	Akp(/A+p(/A+p(/↓+`(/↓+`(/↓*00αA*⊂P↓↓*`A)p8αAi`0∧A)P0¬↓)P(¬A)@(ε↓	@(¬A)@ ε↓)0(ε↓)0(ε↓)0 εA) (εA	 (ε↓) (ε↓) (ε↓) (ε↓) (ε↓) (ε↓	 0¬↓)0(¬↓)00βα	0pA)@`↓↓IPP↓Aip0"QQ0
FC⊂PβTA5π∪b∧pβA ThβαThαB@D`αB`D`αB`D`αβDXαCDX
RbTPαR@TPαR@TPαR@TPαR`P`R`PX↓SPHα∪`0αS!dpε∀t("→BA8∩I!P0*B*@P)A   )A@_)↓*  (A*⊂((A
((↓*(&CiPx(↓`⊂'A)p('A)p('A	`('↓)`('↓)`('↓	P(&A)P(&A)P &A	@(&↓)@(%B	 X"QqX∞Hc⊂`βU↓5⊂	T `(∧TP@∧∀@Pα∪`@Xα∪`@Xα∪@@`α∪@@`α∪@@Xα∪@@Xα∪@@Pα∪`@@αS`P(β∀↓eε∪`0λβS`$p↓S 4h↓Sα∀X
∩bTX
S"DX↓C@TP↓DDP↓∧ DP↓∧ 4P↓∧DPαβTX	Sα∧x¬⊃(F@
π$B β↓j ()↓* ()↓*  (A*⊂((A*⊂((A*0α↓J(↓B*(C
(C
@α↓ip8βAIp(¬↓)p(¬↓)p(¬↓)p ¬A)p ¬A)`(¬A)`(¬A	`(¬↓)` ¬A)` ¬A)P(¬A)P(¬A)P(¬↓IP(¬↓)P ¬A)@(¬A)@(¬A)@(¬A) @∧B	 HβαhT 4CAr⊂⊃α@5_αT`U_αU48αBUβT@U⊂αT@E⊂α∀ UλαT Uλα∀ Eλα∀UαTEα∀DxαS`Txα∪`Dxα∪@T`∧RAT("~B!⊗HA`_+A*p(+A+_#A!@(*↓j`(+↓*`(+↓
P(*A*P(*A*P *A
@(*↓*@(*↓*@ )A*0()A*0()A
0 )↓* ()↓*  (A*⊂((A
((↓	 _↓↓) H%α	@ "Q
1P∞I∧@0βT@U⊂αT@U⊂αT@EλαT UλαT UλαTUαAa¬αB UαBUαA@Txβ↓ TxαATxα@`Txα@ Tx¬∪a$pε∪@`⊂α∪@P_αS@P α∪@P αS `(αS `(αS P8αS P8αS P@αS`@αS`HαS`HαRA⊂@β∩A⊂8∧Q(F`πD∧B ∧↓j@(*↓*@(*↓
@ )A*0()A*0()A
 ()↓* ()↓*  )↓
⊂((A*⊂((A
⊂ (↓*((↓* (↓
 'A)p('A	p 'A	`('↓)@H%β(T 6J%AHDPPβ∀@0⊂¬↓!$h∧!@_ε∀@λπ!U∧↓↓0 βTP@βBeαα@PPαT@PαB@TxαB@PPαS`@Xαα`Txαα`@XαS`@Xαα`Dxαα`@Xα∪@PPαB@Tpαα`@XαS@@Xαα`Tpαα`@Xα∪@@Xαα`Dpαα@PPαS PPαB@Thαα`@Xα∪ @Xαα`Dhαα`@Xα∪ @Xαα`D`βα `HβRA⊂0∧AA4("≠C!hF"0)` P&B⊂`(↓⊂h(α@8(↓@p0(↓↓ ((↓↓ ('A! ('A↓0('A↓0('A↓0('A↓0 '↓! ('↓↓0('↓↓0('↓↓0('↓↓0('↓↓ 0&A! (&A↓0(&A↓0(&A↓0(&A↓0(&↓A⊂@%α `X"Q
q@∞FC⊂P∧∀AEπS``(β∪@P@β∪ PPαS @XαSP`αSP`αR`PhαR`PhαR`PhαR@PpαR@PpαR@PpαR@PhαR@PhαR@PhαR@P`αR@P`αR`PXα∩`PPαR``@αS`(β∪!tpε∀↓∧("≤βQp⊃F" 0*`0P'B⊂h)¬
 @αAj (∧AJ  ¬↓j⊂(¬AJ⊂(¬AJ⊂(¬AJ⊂(¬AJ⊂(¬AJ⊂ ε↓J(ε↓J(ε↓*(¬AJ(¬AJ(¬A)p0¬↓Ip(¬AIp(¬↓Ip(∧Aip(∧↓ip8αα	`(C)`(↓αi`(α↓i`('↓)P(&A)P(&A)P(&α	 `"Q∞⊃@∞Hc⊂@βT↓0(↓∪aP_↓SA(βS pHαS `Pα∪`Xα∪P`α∪PXαR`P`αR`P`αR`P`α∩`@hα∩@P`αR@P`αR@P`αR@P`αR@P`α∩@PXαR@PXαR@`PαR`PHβ∩``(∧Ra`λα∪↓@⊂α∪! ⊂αS`` αV UHαV EHα⊗U@αVU8∧∃A4("≤BQ@F!@()β	P8BJ(↓Aj(↓Aj αAJ αAJ β@ip 'A	p 'A	p '↓)` '↓	` '↓	` &A	P &A	P &A	@8%αhT 9E"qPB@uλεT↓txβ↓ TxαA`DpαB 4pαS@TpαS`Txβ∀uλ∧∀A¬ βU@e8αVUHα⊗ DX↓βDPαα`4PαB DPβA TPλ∪↓DxβQ(G λECqp∧Ip('A)p '↓)`(%∧)!λ'↓ `⊂'↓	P(&A)P(&A)P(&↓)@(&↓)@(&↓)@(%A)0(%A)0(%A)0(β@I0(βi@(αi@X&B)`0"Q∞Q8∞ε#_αBtXβB@ThαB@ThαB@Thαα`Thαα`T`αB@T`αB@T`αB@T`αα`T`αα`TXαB`TXαB@TXαB@TXαα`TPαB`TPαB`TPαB@dPαB@dPαB@TPβαdPβA↓∀Xε@ TXε@T`¬`thβ⊃(G0
λβ⊃@α↓ @%↓a@(&↓!@ &↓!0(&A↓0 &A!⊂ &A!⊂ &A! '↓↓ '↓ ` '↓ P '↓ P 'A@ 'A 0 'A   'A   (↓⊂ (↓⊂_(α
8(AJ⊂((A*⊂ )J ⊂"Q∞r0⊗εC⊃⊂↓∩AP↓αA∧Xβα@@PαSPPαα`4`αB PX↓SP@βB 4`αBpH↓SP8∧α4`αA@@λαA`4hα↓@0⊂αA@Dhα↓ @_α↓@4hα↓ 0 αADhα@`@ αA4hα@@@0α`Dhα@@@0α@@4hα@ @8α@ Dhα@ 0Hα Dh∧B @λ↓S!P∧∪ p`β∪@``β∪@PhαS@@xα∪@@xα∪@1↓S@1λ↓∪@!⊂Q(G@∞πβ↓@αB p8(AA⊂()↓! )↓@` )A P )A@@_*↓ 0_*↓@⊂ *B*P@+↓J`(+↓JP8*α*0 A* (↓↓*  ↓A*⊂ α↓* β↓)p βA)` ∧A)P ¬↓)00¬↓I @∧α(T <G∧α⊂A⊂H∧∪ pXαS@P`α∪@PXαS@PXα∪`PHα∪`PHα∪`P@α∪`P@α∀P0α∀P0α∀P(α∀P(↓T P_α∀ P_↓T P⊂α∀ P⊂↓T@@λα∀A¬⊂βT@u_αT`U_α∀`E⊂α∀@5λα∀Eα∪`Dxα∪@D`β∩A∀("≡Ba8εa'D)q'@A0'@!0+AJ`0+↓JP0*↓J00)AJ 0(AJ⊂0(↓Ip0'↓I`0&AA λ&↓A ⊂%AA ⊂%DI!_%∧HT  H$"⊂⊃¬ %x↓↔@EhαW U`β↔uX∧⊗a¬P↓@ UH↓@@eH↓@`U@↓AU@↓AU8↓A e8↓A e0↓A@e0↓A`U(↓Be ααe ↓B e_αα@U_	TBU⊂↓Ceλ↓C@Uαβ@U↓C`dxαβ`dx↓Ddp↓D@Tp↓D@dh↓D`d`α∧A∧PβD↓$("⊂CBλ⊃λ@a⊂(Dj!_)↓ p@)↓↓ 0)↓↓0((A!0((A!0((A!0((A! ((A↓0((↓! ((↓!⊂((↓ p0(βj↓'Dip(∧↓ip(¬↓Ip(¬A)p(¬AI`0ε↓)`(εA)`(εA)`(εA)`(εA)P0ε↓)P(εA)P(ε↓)P(¬AI@0¬↓I@0∧↓iA %¬	!⊂"Qλ1h⊃HD x∧∃Ae 	∀A(∧∀ pHβ∀``αS``pα∪@a↓∪@Thβ∪ T`β∪TXβ∩`TXαR`TPαR@TPαR@TPαR@TPαR@TPβ∩`TXβ∩`d`β∧∀`βC Dh∧↓`tp	Sau⊂∧Q(D ⊃J∧"⊂β¬
⊃()¬J (¬α
 (ε↓j  π↓j⊂(πAJ⊂(πAj⊂(λ↓J⊂(λ↓J⊂(λAJ(	↓J(	↓J(	↓J(	↓J(	↓Ip0	↓Ip(	AIp(	↓Ip(	↓Ip(	↓I`0λAI`0λAI`(	↓)`(λAI`(λA)P0λ↓IP0πAIP0π↓IP(π↓I@0ε↓i@0∧B)A0%¬I!_"QλQX⊂λD  Sbeλ
∀ ``T ``T UλαT Uβ∀eβ∀UαS`dxλSb∀xλS`TxαS@dpβ∪@dpβ∪@Thβ∪ dhβ∪ dhβ∪ PxS`xS`pSαTX
RBd("⊃CBλ⊃λ@A@'Ej⊃((A!`λ(A!`λ(A*⊂((A*((↓*((↓*('AIp('A)p('D)qλ'∧I`0'↓I`('↓)P0&AIP0&A)P(&A)@0&↓I@0%B) X"Qλqp∩λD x∧UAu 	TA0∧∀ pPβ∀`hαS``xα∪@aλ↓∪@Thβ∪ T`β∪TXβ∩`TXαR`TPαR@TPαCA4PαD↓∀PαD@dPαD@dPαD@dPαD@TXαD TXαD TXβ∧T`αC`d`ββ@dhββ TpβB↓∧x∀!`⊂α∀a⊂0↓Q(D@∪
d"⊂ααa@X'B!`H(AB⊂0(AB⊂0(AB⊂0(A" ((A" ((A" ((↓B⊂0(↓B⊂0(↓B⊂0(↓" ((↓" ('AB ('G)qh'G	p(	↓)p(	↓)`0	↓)`0λAI`0λAI`(	↓)`(	↓)P0	↓)P0λAIP0λAIP(	↓)P(	↓)P(	↓)@0λAI@0λAI@0λAI0Hπα) XεαhT $CbB⊂⊃↓↓4x∧T eλβ∀ eλαT UλαTeβ∀eαTTxβ∪`dxβ∪`TxαS`Tpβ∪@dpβ∪@TpαS dhβ∪ dhαS ThαSd`β∪dX∧RA4("∩BQ ∪HA0P+B⊂0,AK⊂(,A+⊂(,A+0,↓+(,↓+(+AJp0+A*p(+A*`0+↓J`(+↓*`(+↓*P0*AJP(*A*P(*↓J@0*↓*@()AJ0(%`P0%↓00%β	 X&↓hT %H∧R⊂⊃↓↓0H∧∪a`β∀ P`αT P`α∀ PPαT PHαT P@αT @@αTP8αTP0αTP(αTP αTP_αS`P_α∪`P⊂αS`PλβSaTxπ∪aλαSA⊂αS@p αS@`(αS@P8αS@P8αS `@αS `@αS `HαS `HαS PXαS PXαS``αS``αS`hαRaX∧∩A⊂P∧Q(D`π$"⊂βαj⊂@)↓* ()↓
  (A*⊂((A*⊂((A
((↓*((↓*('A)p('A)p('A)`0'↓)`('↓)`(&AIP0&A)P(π@)@0π@)@0π)A(%¬I!0"Q	Rp→HD @↓λ@%⊂↓λ 5⊂↓G`Eλαπ`EλαG EλαGUλβε@eλβε u∧¬a¬∧¬A∃∧E!¬↓@ Q ∧T0λβ∧@@λαT0⊂αD @⊂αS`@⊂ββ`Pλβ∪`@_αC@P⊂β∪`0 ββ @_αS`0(αC@ αS`0(βα@@(αS@@0αB @0αS@@0αBP(β∪@@0β↓@P0β∪@0@αA@@8αS@0@β↓@@αS @Hα@`@HαS @Hβ P@β∪ @P¬α dh↓Ba⊂Pβ∪ 0`βB`Th↓C``αS@hαB`d`αβ @`β∪@p↓β dXβF@tP∧F↓∀("∪DbX⊃λA⊂	B* _	Aj⊂ 
A
⊂(
↓
⊂0	A
⊂8	j⊂8	j⊂@λ@jPπA
PπA
_↓↓A` (`00ε@j_↓Aa@_'A@0¬A	p αAA  'A`0∧A	p_βAA⊂_'@a0∧ip_∧A@p_'↓↓⊂0β↓	` ¬↓@P '↓↓00α↓	`_ε↓`0_'aP0↓@iP π↓@ _&A↓pP&A↓pP&@b⊂@&@b 8&@b 8&↓α00&↓α@(&↓αP %Ab0_%α"0⊂"Q	r∪λD x∧∃AU λT@p0βT `Pβ∀Phβ∪`PxαS@Qβ∪@QλαS Q⊂αS A αSQ αSQ αSA(αR`Q(αR`Q(αR`Q(αR@Q0αR@Q(αR@Q(αR@Q(αR@Q(α∩@Q αR@Q αR@Q α∩`Q⊂αR`QλαR`aαSPxαS`hαS `Pβ∪@p0βSb∃λεTa∧("∀βb_⊃λ@a⊂(Dj!_)↓ p@)↓↓ 8)↓↓00(A!08(A!@0(A!@0(A!@0(A↓P0(↓!P0(↓!@0(↓!@0(↓!00(↓↓08'A! 8'A!@'E	q⊂'D	`0'↓)`('↓)`(&AIP0&A)P(&↓I@0&↓I H%αhT (H∧b8⊃βa¬0εUα∃⊂βA@uλβα@eαC dxαC`TpαDdpαD ThαD@Thα¬T`αET`αET`α¬ TXαE TXαE TXαE TPαE@TPαE TPαE TPαE TPαE DPαETPαETPαEDXαD@TXαD TXβ∧T`αC`T`ββ Thβα@dpβA@txλT!TxεS P0∧↓@∀`↓β↓EX¬↔!¬xα⊃(E⊂∞HD"⊂β∧J⊃_)∧j (βα*  ∧Aj  ¬↓j⊂(¬AJ⊂(¬AJ⊂(¬AJ⊂(¬AJ⊂ ε↓*(¬AJ(¬A*(¬↓J(∧AJ ∧↓iq_'D)px'A P('A `('↓@`('↓!('↓!('↓!⊂('↓!⊂(&AA (&AA (&A!0(&A!@(&↓A@(&↓AP(&↓AP(%αA@(%αa00"Q
1@∞λD `∧∀au⊂λ∀ P0β∀PHα∀@X↓∀DxαS`TxαS`dxβ∀eβT u⊂∧∀a¬ ∧∃@u8βVuHβ⊗@ePβ⊗`UXαV`UXα∩`0`αR@@`α∩@`HαRA(β∩B$`π∪a∀("∃βB_⊃λ@⊃X%Fi!`%A (∧@) λ¬A↓ λ+↓
P(*A*P(*A*P *↓*@(*↓*@(*↓*@ )A*0()A*0()A
 ()↓* ()↓* ((A*⊂((A*⊂((A*0'αI@h"Q
R∀HD εBA∀X¬β thβ∧ Dhβ∧ DhαD@DhαD@4hαD@4hαD@4`αD@D`αD@D`αD@4`αD@4`αD@4`αD DXαD@DXαD@DXαD@4XαD@4XαD@4XαD DXα∧@DPαD@4PαD@4PαD@4PαD DPαD 4PαDDPββ`4XαC@DXββD`βα ThβA dpλ∀↓E⊂βQ(E0⊂	d"⊂α"8%Ab (&↓"0 &↓"  &↓"  &A" &A"_&A!p &A!p_'↓↓` '↓!@ '↓!@ '↓!0 '↓!0_'A!⊂ 'A! 'A! 'A p (↓ ` (↓ P (↓ P_(↓ @ (↓@0_(A   (A  _(A ⊂_(B* 8)↓j 0)↓J0 )@j0_)@HT +Jf2⊂⊃↓⊂`↓β↓∧XβC  hβ∪Phαβ D`αC @hα∪P`αCD`αCP`α∪PXβα`D`αBAPα∪PP∧α@4`αB 0⊂αα D`αB 0⊂αα DhαA`@⊂αA`DhαA`0_αA`DhαA@@_αA`4hαA @ αA@DhαA 00αA 4hαA@0αADhαA08αADhα@`@8αA4hα@`0@α@`Dhα@@@Hα@@4hα@@0Pα@ Dhα@ 0Xα@ Dhα@ 0Xα@ 4h∧β!∧h∧β thβC@thβC@dhβ∧Tpα∧ Tpα∧ Dp↓D@Dp↓D@4p↓¬$pE $("⊗∧B(⊃λ@pHεAj00πA*@(π↓
@0ε@jP(εjP0¬j`(∧A
`0βA
p(β↓
p0α↓(↓A0↓k⊂(A⊂H-↓k 0-A+ 8,BP,` (+A 0+↓00*AP0*↓`0)A↓0)↓↓⊂0(A! ((A↓00(↓↓P('A↓`0'↓α(&Aα⊂0%AB⊂8%α↓pH"Q⊃x∪λD ∧∧t`β∧ ThαDDhββ`4pαC@4pαC Dpβα`DxαB@DxαB@5αBEαA`EλαA EλαAEλα@`E⊂α@@E⊂α@ E_∧∀`u_β∃U αUU α∀`U_αT`U_αT`U⊂αT@U⊂αT@Uλβ∪a$hεQ(EP
G$"⊂βE
⊃ (¬
⊂ε↓Jλε↓KP(.↓K00-↓K 0,AK8,↓Jp0+↓j`0*AJ@8*↓J00)↓j 0(AJ8(↓Ip0'AI`0&AIP(π)@0ε@I00ε@I1(%¬)!("Qε↓@∞HD `β∃↓%⊂εT P(αTP8α∪`P@αS`@Pα∪@PPαS@@XαS PXαS PXαSP`αSP`αSP`αR``Xβ∩``Xβ∩`P`β∩`P`αR@``αR@`Xβ∩@`Xβ∩@P`αR@P`αR@P`αR@PXαR@PXαR@PXα∩@PPαR`@Pα∩`P@αS@8αSP(αS!Tp¬∀d(""⊃0⊃Hbλ,jP0)α)p`'β	p⊂α↓*P(*A*P(*↓J@(*↓*@(*↓*@()AJ0()A*0()A* 0)↓* ()↓* ((AJ⊂0(A*⊂((A*0(↓Ip8&β	!λ"Qε!H∞HD hβU↓E⊂πT P(βT @8β∀@Hβ∀@Hβ∀0Pβ∀0Pβ↔ e`β↔eXβ⊗`ePβ⊗ e@β∃`U(β∃U⊂αT Uα∪`Dpα∪ Dh↓SD`↓C`∀Xαβ@$X	Rb4P
∩BDP	Q(C_π∧"⊂¬B*⊂x(D
0αAj ∧↓J_¬↓*_¬↓*⊂¬A+P .A@(.↓0 -↓
0H)BJ0X,AK (-↓K0(-A+0(-A+0(-↓K (-↓+⊂(,↓I _¬↓I (β↓i!λ%βiPH"QεAP∞λD!⊂↓⊗`EXα⊗@EHα⊗ 5@α∃`E8↓U@@8↓∃ @(αU 0(β∃@(αT`@0αT@@8αT@0@αT @8β∀@@αT0HαS`@HαS@@PαS@0Pβ∪ @PαS@XαS0`αRc∀PRC∃PαV@UPαV eHβ∃a%(εQ(C(π∧"⊂βD*↓⊂(∧J↓λ(∧*_ε@*_ε@)p 'A	p '@ip_'@i`h'βia,↓k⊂0-↓K 0-A+0(-A+0(-A+ (-↓+⊂0,A+0%a 0%↓ `8%∧) x&B(T ≠¬CB⊂⊃β!¬ ε∀Aeλβ↓@5αS`Txα∪@DhαS D`αSP β∪@⊂¬R`PλεRa⊂ βR`p8β∩``@βR`PPβ∩@`Pβ∩@PXβ∩@PXβ∩@PXβ∩@@`β∩@@`αR@@Xβ∩@@Xβ∩@@XαR@@Pβ∩`0PαR`@@β∪08β∪@ βS!Tp¬∀d("
c⊃x⊃λ@Q 'E	q_'DIa⊂'AP_'!P_-@k0⊂-k⊂_,k_+@j`_+jP_*↓
@_)@j  )j⊂ (↓
 'A	p '↓	P(&A	@(&↓	0(%A) ("Qπ↓@∞HD X∧∀aEλπTp0α∪``H↓S`PX↓S@P`↓S@P`↓S@P`↓S@PXα∪@PX↓S@`Hα∪``8α∀p⊂β∀!U⊂¬∀!4xπ∪@`⊂∧∪ P0βS@Hβ∪0Xβ∩`0hαR`0hαR@0pαR@0pαR@0pαR@0hαR@0hαR@@XαR`@Hβ∩``(βSα∧hεT↓∧("∞"ah⊃λA⊂8(Bipp'↓`@(&A@p &↓A(&↓!  %AA (%A!0(%A!0(%↓A0(%↓!@(%↓!@(%↓!00%↓!00%↓!00%↓! 8%↓! 0%↓A8%A p@%A@@P%C ⊂0&α` (&A`@0,↓K(,↓*p(+A
`(*A) _β↓I p%β	0@"Q↓`⊂HD 0∀"U⊂
∀@PpT@@xT@EλαT UλαT Uλα∀UαTUαTTxαS`TxαS`TxαS@dpαS@TpαS@Thβ∪ ThαS T`β∪d`β∩A$P¬Q(@λ⊂λD"⊂
@K`_/↓P(.A+@0-B0@-`  ,A  ,@`0(,↓0(+A@(+AP(+↓`(+`p(*Ap(*↓↓⊂(*a ()A↓ ()↓↓0()↓↓@((A↓P((@a`((↓↓p('Aα('@b⊂('↓α⊂(&Aα0(&@b@(&bP(%Aα`(%Gi"%λλT ↓λ∧b⊂⊃βa¬0εUα∃⊂βA@uλβα@eαC dxαC`TpαDdpαD ThαD@Thα¬T`αET`αET`α¬ TXα@` X↓`TXα@ap_αR`P_π@`TPαA↓p_αR@P π@@TPαA X↓@TPαE TPαE DPαETPαETPαEDXαD@TXαD TXβ∧T`αC`T`ββ Thβα@dpβA@txλT!U_∧⊃(@_⊂HD"⊂
@Kp⊂/↓P(.A+@0.↓k0@-B _A+⊂ AK⊂_↓↓K ↓A+_α↓*p α↓Jp_αAJ`_βA*`_βA*P_∧↓J@ ∧↓J@_∧AJ0_¬A*0_¬A* _ε↓J _ε↓J⊂_π↓* π↓*_πAIp_λ↓Ip_λ↓I`_	↓)`_	↓IP_	AI@ 	α	 8λαHT απd"⊂⊃↓C∃Sc$x
∪`⊃8↓∪@⊃HS@⊃HQ`p8↓β %λλT"∃λλT"∃λ↓β $8∧⊃HR@⊃HR@!8RC$P
∩C∀PQ(@(∩
$"⊂αGj↓h(AAp((AAp((AAp((AA`((A!p((↓Ap((↓Ap((↓Ap((↓A`((↓!p((↓!p('AAp('AAp('AA`0'A!p('A!p('↓Ap('↓Ap('↓A`0'↓A`0'↓!p('↓!p(&AAp(&AA`0&AA`0&A!p(&A!p(&A!p(&↓A`0&↓A`0&↓A`0%B! P%αa⊂X"Qap⊂λD 0∀β¬λT aT@`xT`e_β∃e(β∃ e0β∃`e8β⊗eHβ⊗@ePβ⊗`UPαV U@αU`U0αU E α∀`EλαTTxαS@QλS Qλ↓∪β∧XRC∀PQ(@8∂ID"⊂αA!P0&B!⊂H&α`pX%@`P(αA@ %@! αa⊂%! _αA λ*A ⊂+` ⊂+`⊂⊂+`⊂⊂+↓J`(+↓*`(*AJP0*A*P(*A*P(*↓J@0*↓*@(*↓*@()AJ0()A*0()A* 0)↓JP'β(T ∧λ∧R⊂⊃β!EH∧⊗`EXα⊗`EXα∃!U⊂	T"dx∧`@_βS@`0α↓ dhβ↓@P0αS`8α↓`d`αB@@αR``@ααTXαB @@αR`PHααTPαB @HαR@PHααTPαB @@αR@PHα↓`dPαB @8αR@`@α↓@dXαA`@0β∩``0α↓ d`βA@⊂∧∪"dx	TAU0α∃@E0α∃@E(βT!D("α$BH⊃λAP`,α+ (-↓+  -↓	 8∧A↓⊂8%AA⊂ ∧A)@(∧↓!⊂ &↓! ∧A)@(∧↓↓⊂(&↓! ∧A)@(∧↓↓⊂ &↓↓⊂ ∧↓)@ ∧↓!(&↓↓ ∧A	@ ∧↓↓(&↓↓ ∧↓	@ ∧↓p(&↓ p βA	P β↓ `(&A P β↓)`(α↓@0'A@  ↓↓j↓⊂)βJP@+↓
` +↓
` *A*P()B*⊂`"Q↓"(∀λD! ∧⊗Ae@	∃``0∧∃ PXβUPhβT`Pxβ∀@QβT aλβ∀ Q⊂β∀a_β∀Q β∪`a β∪`a β∪@a(β∪@a(β∪@a(β∪@a β∪@a β∪@a β∪`Q_β∪`Q_αS`aλβ∀Qβ∀QαT PpαT PhαT@@`αT`@Xα∩@⊂H↓B@0@R@⊂P↓α 0@↓∩A`8εRA`0π∩A`0π∩aP0π⊃(AεCC↓@∧↓*8)↓* ()↓
  (A*⊂((A*⊂ (A
⊂ (↓*((↓
 (↓	p('A)p 'A	p '↓)@H%β(T λD!r_βU βU@U0αU@U0α∃ U(αU U(αU E(α∃U αUU αUE_αT`U_αT`U_α∀`E⊂αT@U⊂αT@EλαT Uλα∀Uα∩@0⊂αRA∀P∧∪D("∧B!⊂∧I `_(↓
((A*0 *↓
`_+A⊂_-HT 	Eα@H∩D 5Pα⊗e8β∃ e αT@Uλα∪`Dx↓⊃(A ¬@b⊂
J⊂¬↓
 β↓*  ↓↓*0H*↓J`_"QαQ0α∧@0↓B`%↓B@5↓B@%↓B 5α↓`Eλα↓Uλε∀A% β⊃(A0¬@"λβ∧
↓(∧λT DB @∩α`U βU _↓T` (↓∀` (↓∀` (↓∀`0_↓∃u(αQ(0β∂x␈␈␈pα∂x␈␈␈∨x␈␈␈p8↓T E αU@50↓SA$p∧⊃(AH
π$b(λ↓+H+β
P(α↓*@(β↓
0(βA*0 ∧↓* (∧↓*  ∧A*  ∧A*⊂(∧↓*⊂(∧↓*⊂ ∧↓)p0βA)@HβA	p0β↓)p0αA)p0αA)p(β↓)p(β↓)p(β↓)p(βA)`0βA)`0∧↓)`(∧A)`(¬↓)`(¬↓)`(¬A)`(¬A)P(ε↓)P(ε↓)P(ε↓)P(¬A)P(¬A)P(¬↓)P ¬↓I@(ααi 8ααJP@"Qβ"8∃εC⊂h∧↓`u⊂πaDxλ@Adp	!tp∧↓A (β∪@@XβBTp↓β@PPα↔@@Xα↔@0`α↔@0`α↔ 0hα⊗β∃0
U`λα∀@P α∀P0α∪`@@α∪ @Pα∪@Xα∩`@`αR@Phα∩@PhαC $Pβα↓ Pα∩B⊂⊂βA@TXπAα∧`ε↓aTpβCt("εeαh
ε!08ε↓J0XβBj⊂pαβJ(αA@ x'A↓(A`P('↓↓ P∧↓	P ¬B!⊂ &A↓@8¬↓	@(ε↓A0 &↓↓P0¬A	0(εA!@ %A!Q(%A↓a(%↓!`(%↓!`(%↓!P0%↓!P0%↓!P0%↓!P0%↓!@8%A!0@%A! HεI@(∧↓ ⊂(¬i@0αA@ 0βA	Pxαβi``βC
8ε↓hT ∞εcqh
ε &⊂↓∃! ↓∀a@λ↓∀"¬β↓ dxαBdpαB dpαα thαB  λαS @H↓@T`αB _αSP8↓↓TXαA` (αR`P0↓↓@TXαA  8αR`P ↓A@TXα@`08αR`P_↓αDXα@@ @αSpHα∪`HαS`@αS `(β∪"∧`πR`0_∧∩`$P↓⊃(Ah⊗K$"⊂¬,!(0EL⊂_A!0λ0αA0λ/A⊂(/@` (/↓ (.A0(.@`00.↓00-A@(-@`P(-↓P(,A`x,↓a,↓a+Ap(+↓↓(+↓↓(*A↓⊂(*↓↓⊂0*∧j1_)↓↓0()a@((A↓@((↓↓@0(aP0'@a`(π@)` π↓!pλ'a`0π)P_πE)00π¬	 @εEλT ∂εb⊂⊃βa⊂0	∃Ap_	∃α0λ	∀@p8εB`∃λαC! XTPx∧∪`QλβS@Q⊂βS@Q_β∪ Q β∪ A(β∪Q(αSQ(αSA0αR`Q(λ∩`Q(λ∩`Q(λ∩@Q0αR@Q0αR@Q0αR@Q(β∩@Q(β∩@Q(β∩@Q(αR@Q(αR`Q_β∩`Q_β∩`aλβSQ∧∪`p∧β`∀hβαa xS@p8εβ@∀x∀∀!p⊂
∀a⊂0
⊃(Ax∩
¬∩(⊃M0⊂5k0@β@KhαJaλ@J@8βα
00¬↓J (εAJ⊂(π↓J(πAj(π@⊂('A!`⊂↓↓)p π@@('↓!P⊂αA)`(ε@`('↓↓@_β↓)P(ε@p(&A!0⊂∧↓)P(¬A⊂(&↓! ⊂¬↓)@(∧@A (&↓!⊂¬A)@(β@a0(&↓ p⊂ε↓	@(βA@(&↓ P⊂εA)@(αA` &A  ⊂π↓)P(@A`(&B↓`('↓A`('↓AP('AA 0'B`8'@⊃λ&@@@h&``@&I0⊂%HT /¬"P0⊂C5(β∀a∃⊂α@@EαA@Dxαα@$x↓⊃(Gp¬@b⊂∧↓↓⊂(A@p⊂(α`⊂(@0(↓@Ip⊂βα	p⊂βAIp⊂∧↓λT ?EB` ⊂A` H↓T@8αT@8αT@8αT  H↓Q(Bλ¬Dd"⊂βj('AIp('A)p('A)p '↓)`('↓)`('↓	` '↓	P(&A	P &A	P &@i@ &↓	@ &hp(@I  %↓	  %@HT ⊃Gβr`⊃C@08↓V @↓⊗ @↓∃`08↓U` @↓∃` @↓∃@08↓U@ @↓∃@ @↓∃ 08↓U  @↓∃  @↓∪btxSbtxT` @↓∀` @↓∀@08↓T@ @↓∀@ @↓∀ 08↓T  @↓∀  @↓∀08↓T @↓∀ @↓∩BdP∩BdP∪@ @↓∪@ @↓∪ 08↓S  @↓∪  @↓∪08↓S @↓∪ @↓∩`08↓R` @↓∩` @↓∩@08↓R@ @↓∩@ @↓⊃(B G∧B π@K_,k⊂*Aj0X(A H(`@_↓↓)p_α@`0 '@`P⊂α↓	` α@@@_'↓P⊂αi` αi`(↓@ip(↓IpH(α
⊂H)αJ@H*B*P⊂AJP⊂↓↓J@_↓A*@_α↓
@⊂αA	0_β@P %↓`⊂α@i (α`@ %↓@0_↓A	 @@`⊂(&βIpH)@J _)j ⊂"Q∧R⊃I∧@PαC@∃⊂∧β5λα↓@8αT@0π∀08↓ `λ↓T08↓↓`4x↓B 0↓S`0@↓↓@$x↓B (↓S`08↓↓ 4x↓A`  ↓T 0↓@`5↓A0_↓T!_↓T@P(↓V`5P↓V 5@↓U`58↓U@5(↓A@U ↓A!¬_↓A 0 ↓T@0(↓A@%⊂↓A08↓T 0(↓A`5↓A@ @↓S`00↓B4p↓A`0@↓∪ 0@↓A`4h↓B08↓S0P↓↓@4X↓B`0 ↓R@0h∧∩`⊂xαQ(B0⊃J∧"⊂λAK⊂P,β
p(α↓
`(β↓
` ∧jP(∧jP ∧@jP ∧@jP ∧jP ∧jP(βj` α@j` ↓↓*p@*B
 P(β!⊂8'α (∧A	P8αA!_&↓A(β@i00∧A ` %A!0(α@i 0¬A P_%↓!P(↓@i (π↓  %↓!`(@i (πAi (πAI0(πA)00εAi@8∧αIQ_A)ppα↓j⊂H∧↓hT ∪B↓pP∂A4hαS Tpα∪@4p↓∪ $`↓∩`$P↓∩@∀("
α!8_IBλ,↓
`(*A
@ )A
  (A
⊂_(↓	p 'A	` '↓	P &A	@ &↓	@ %A	0 %A	0 %A	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	0 %A	0 %A	@ &↓	P_&A	`_'↓	p (j⊂_)(T ∀DB∪λ∪α ∃⊂↓T`5_α∃E(↓U E0↓U@E0α∃`E8α∃`E8α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α∃`E8α∃`E8α∃`E0α∃@E0α∃ E(α∃E α∀`E_α∀@E⊂↓T Eα∪`Dpα∪ DXαR@DXQ(BPλε"α⊂∧J⊂ &@0 %A _%A ⊂_↓@I@ @@0 '`⊂λ↓↓*⊂Aj⊂⊂%↓` λ%↓@⊂λ@i (↓@⊂ %@@0_↓↓
_↓↓	p ↓@Ip (HT ∃FD1H
β%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∩C$P
∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓⊃(B`∧Ba0 α@i`('↓)`('↓	` 'iP_&i0_%i λ"Q¬`0ε↓ Pλα∩@dPβ∩@dPβ∩`D("cqx_ICPλ3lP_2@l@_2L0_1l _0@l⊂⊂0l⊂/@k`_/KP_.@K@_-@k0⊂-k ⊂,@k_,Jp_+@J`_*@jP_*j@⊂)@j0⊂)j⊂_(@J_(Ip_'i`⊂&@iP⊂&i0_%@I _%@(T ≥αAq 
↓ Dpβ∪@dpβ∪`D8¬ DPβ∩@dPβ∩@dXα⊃(CXεCc1 ∧↓
⊂0(AJ⊂0)↓λpXα@i`('↓)`('↓	` 'iP_&i0_%i λ"QπQP⊃C"@λRc∀8¬β∀PQ(Cx	ε$"⊂βAIpP&C)@(α↓I@_βA)0_∧A)0_∧A)0⊂¬↓)0⊂¬↓*p(+↓J`(*AJP(*↓*0()↓
('A	` &A	P_&↓	@ &hp(@I  %↓	  %@HT  πdR⊂∩β`u0ε∃ @8↓T`0`↓∀@0p↓∀ !λ↓∀!_↓∪`! ↓∪@ Hβ↓`$p↓↓a (↓∪  8↓AP ↓∪  0↓A@@(↓∪ 0↓A`@(↓∪ 0↓A`@(↓∩` 0↓B00↓∩` 0↓A`@0↓∩` 0↓α@0↓∩@ 0↓B@0↓∩@ 0↓B00↓∩@ 0↓B00↓∩@ 0↓B0(↓∩@ 0↓A`@(↓∩@ 0↓A`@ ↓∩@ 0↓A`@_↓∩` 0↓A`λ↓R` 0∧ tX↓↓`P α∪$`↓∪ $p↓∪`!↓T0HβT"¬_∧Q(EXπ&∩0∧Cj0x)j _)j ⊂)J⊂_(@j⊂_(@j⊂⊂(@J_(j_(J⊂'@ip_'@ip_'@Ip⊂'i`_'i`⊂'IP_&@iP_&@iP⊂&@I@_&i@_&I@⊂%@i0_%@i0_%@I _%i _%βi x"QQ@$`HπTaux↓W`5x↓↔`%p↓W@5p↓W@5p↓↔@%h↓W 5h↓W %h↓↔5`↓W5`↓W%X↓V`5X↓V`5X↓⊗`%P↓V@5P↓V@%P↓⊗ 5H↓V 5H↓V %H↓⊗5@↓V5@↓⊗%8↓U`58↓U`4PπRAt("_↓↓λ¬πpλ'@i`_&@iP⊂&I0_%↓	  %↓	0⊂"Q∧↓_	ABQλ↓∃`e ∧T↓$h∧S dh↓⊃(B⊂	FA!xαa⊂⊂&A p &A p '↓p 'a_&@a⊂⊂&@A⊂⊂&A⊂⊂%@A⊂⊂%A⊂⊂%! λ"Q¬Q
@!`λ∩B∧("↔α1`¬π`⊂¬)p⊂¬I`⊂¬IP_∧@IP⊂∧@I@⊂∧@I0_∧i  βA	  βA)  βA	0⊂∧@hT /Dα ⊂C5(αU U(αU@4("≡c⊃XC@↓H%ε(T >F@λπε$P→⊃(Gh
¬↓α ¬`@_)A0 )A0 )↓0 (A0 (@`@_(`@_'@`@_'@@P⊂"Qπ@X¬HCP@↓∀ Eλα∀ E⊂↓⊃`P0↓S`Dxα∪`Dx↓S@Dpα∪@Dpα∪ Thα∪ Dhα∪T`αST`αSDXαR`TXαR`TPβ∩@T`↓Q(Cp	∧∧!hπ@K ,↓ ,@Hp(ε@j` +↓
`_*A
@ )A
⊂((↓	`(&A)@(%AI0(%↓I (%↓! ⊂%↓! ⊂%↓!⊂_%↓!⊂_%A p_%A@@(&β)PP'AHT ¬IE∩(∩G v(¬U`p0ε∃!@⊂αAE ε@ P0↓T`P α@ E⊂αAa¬⊂αα`EλαB@UλαB@Uλαα`UαB@UαB@Th∂∪#eαα`P_α∀@Xα∪`PPαS`PPαS`PPαS`PPαS`@Xα∪@PPαS@PPαS@PPαS@PPαS@@Xα∪ PPαS PPαS PPαS PPαS PPα∪ @Xα∪PPαSPPαSPPαR`p@∧∩A⊂0¬Q(@`
π$R(εAjP`*β*0(α↓*0 β↓
  ∧j  (A*⊂((A
((↓*(&EiQ8'A!@ 'A!@ 'A!@_'A!0 'A!0 'A↓@ '↓!@ '↓!0('↓!0('↓!0 '↓!0 '↓↓@ &A!0(&A!0(&A!0(&A!0(&A!0 &A↓0(&↓!0(&↓!0(&↓!0(%Aa⊂@%α `X"Q↓Q`∂I$Px∧Uau(λUp(β∀``@αT@`HαT@PPαT `HαT PPαT PPαT`PαTPXαTPPβ∪"thTPPαS`PXαS`PPβ∪`PPβ∪`PPαS`PPαS@PXαS@PXαS@PPβ∪@PPβ∪@PPαS@@XαS PXαS PPβ∪ PPβ∪ PPβ∪ PPαS @XαSPPβ∪PPβ∪PPβ∩`p@∧RA⊂0¬Q(@p∀K∧R(∞↓l@`+A`Ph*C⊂(α↓*@hAp_)A @P)↓ p8)↓↓ ((A! ((A!  (A↓ ((↓! ((↓! (&IIR0(↓↓0 ¬A* ¬↓!0 'A! (¬A	p(¬↓! ('A! (¬↓)p(¬↓↓0('A↓ (¬A	`(¬↓!0 '↓! (¬↓)`(¬↓! ('↓! (¬↓)` ¬A↓0 &A! (¬A	P(¬↓! (&A! (¬↓)P(¬↓! (&A! (¬↓)P ¬A↓0 &↓! (¬↓)@(¬↓! (&↓! (¬↓)08∧↓`pH%α `HβαhT πJeb(∩G!⊗(λ∃`p0λU!@⊂αA`e ε@ PHαT`P α@ @PαT@P8∧α U⊂αα`@PαT PPαB@UλαB@PPαT @Xαα`UαB@PXα∀PPαB@Th∪∪$eαα`@XαT@PαB`DxαB@PPαS`PPαB@TxαB@PPαS`PPαB@Txαα`@Xα∪@PPαB@TpαB@PPαS@PPαB@TpαB@PPαS@@Xαα`DhαB@PXα∪ PPαB@ThαB@PPαS PPαB@ThαB@PPαS @Xαα`D`αB@PPαSPPαB@T`αB@PPαR`p@βB↓∧P∧AA⊂0¬Q?Q`P
p<1=@α>fpα>f␈x␈␈␈`εox␈␈}P∧o0π H!r`
]>`λ∩↓9H←↓Xc=@"0β¬7_βD_{d ¬>u`π≠/0απ`Hv|`∞V}`(∀↓Lx ↓hO=@ahα+(βbh{↓d0¬YZ`πP/0∧	 XdJ@∂;}`H∩@↓<H∃↓x@=A"8β∀f∧↓({αd¬
∃e␈0επ@HHd↔s↑`h∂↓→λHβ*⎇AbhβO∞ε∞P{βePπ≡≤6?0λβ` sT⊂*↑aλλQ⊂,αq⎇B h↓∧¬∧∪ {∧aPαλ
λ)␈0
∧(∀_⊂Z↑a(λR@0αλB⎇Ba↓%ε∧~P{¬bαJλ6␈0∧(∀_⊂v↑aH∞↓⊂0∨α⊂↓=C"Xβ7F_∧)h{εe`π)60λc∂0∞π H9``⊃i}ah⊗↓cx
@α ∃=Cc(∧≥`_∧KX{πd`ε
n0	*o0⊂∧(∀_⊗p>bλ
f``α0;=D!Xα⊂I¬]0{λc`∧b' 	W?0∩ε`@f4∪Y↑b(∂@↓≡XA@α8x⎇Db0β∧p¬
P{	bα?∧
(?0∀∧ (DM ∀X≡bHλ@XH~@αHe⎇E!H↓|w0¬#0{
eε3~
P?0⊗∧(≥ ∃/↑bhs_→@αp∧⎇Ea⊂↓9B¬-h{c ∧⊗B`
↑∂0_ε`@f4X>cλ
@↓`h↓8t=F!Xα→MββH{c0∧3~ε∩o0~ε`@f4<>c(
@↓`h↓H/=FaXα→Mβ≠_{
c0∧3~εEO0≤ε`@f4
∨>cH
@↓`h↓P}=G!↓∨B¬5X{∞bα?∧
o/0≡¬060↔&>ch∀↓L`hαXR⎇Ga8↓pR_¬mp{∂bpβa$0
vo0 	XBH`⊗↓}dλ⊃↓/XWPc⎇H"⊂αYtP↓4 {⊂d¬_VPαx←0"
`bB@ελ↑d(∂↓≠pU`T⎇Hapα1X(↓P{⊃d0¬U0β*∨0$
@hS∀εq↑dH
f``p)⎇I!(↓R[0↓j{∩d0¬K.Pβ←?0&π H!r`πb↑dh~@α∞λ
@xn⎇IbHβ(wPα@{∪d`ε
n0∧-∨0(λ PO	 λ|≡eλ∪↓BX9@↓⊂-⎇J"_αkiPα/⊂{∀c0∧0∩0∧o∨0*π@Hc9@	u≡e(∪@↓F⊂X↓ ∀⎇Jb⊂α←:pαK0{∃e`π7X ¬&␈0,λ`X∃F@ε≡eH⊃↓,@c↓0N⎇K!H↓␈?0αpP{⊗cβqU0→o0.ε`@B$↔¬≡eh|0U@αh≤⎇Ka↓%ε∧aX{↔bαJH␈00∧ }λ⊗i≡fλ
@↓	`H⊃⎇L!pα4⊃⊂λ{_b`βIq0 ←02π@HPD@S↑f(
@↓	x↓@λj⎇La↓(∃@"@{→c ∧↔:P∨04π@HDs@↓=↑fHπ@N8(_=⎇M!↓"%@<{~c@∧AG`↓β←06β` sTα&↑fh⊗@↓gλ∂ u⎇Mapα1≤pX`{≠cP∧\p0↓?∨08π@HPD@β_≡gλ∂↓~λ	0p⎇N!(↓VtPv {≤b`βM$0↓u?0:¬0/>β⎇↑g(∂↓_Hg@"⎇NaXα→⎇(↓⊂{≥eε0,Pα"∨0<ε 8}c ∧m↑gH
@↓xj@P	⎇O! ↓Q⊃h↓( {≡c⊂∧K∂0>@↓↔_}ghε@B(αp7=Oa↓%ε∧c0{∨bαJ	K?Hε(pAw{⎇xow{⎇x